structure S =
struct
  type t (= bool)
end
